Code Generation from Cinderella-SDL to Embedded Platforms
نویسندگان
چکیده
........................................................................................................................................... I Preface.............................................................................................................................................II Table of
منابع مشابه
A comparison between handwritten and automatic generation of C code from SDL using static analysis
The experience reported in this paper relates to an evaluation of the automatic generation of C code from the Specification and Description Language (SDL) specification of embedded applications. The evaluation has been carried out by comparing the automatically generated code with the manually implemented code, both compliant to the same SDL specification: this comparison is based on a selectio...
متن کاملAn Evaluation of Code Generation Strategies Targeting Hardware for the Rapid Prototyping of SDL-Specifications
The specification of an embedded system at system level together with co–joint hardware/software synthesis is a goal of many rapid prototyping projects. SDL has been proposed as a formal and abstract specification language well suited for this purpose. In the automated generation of hardware however, SDL’s asynchronous communication model (directly implemented in the so called server model) can...
متن کاملWIRELESS LANs: THE DECT APPROACH
This paper deals with the design and implementation of a wireless Local Area Network (LAN), called DECT LAN, providing access to a backbone wired Ethernet network. Digital Enhanced Cordless Telecommunications (DECT) standard provides only the radio interface between mobile devices and Ethernet via a base station. The DECT protocol is implemented as a combination of hardware and software compone...
متن کاملSDL Code Generation for Open Systems
SDL claims to be a language for the description of open systems, allowing the integration of other components into an SDL system and that of an SDL system as a mere component into a greater unit. Indeed, SDL provides the possibility for the interaction of a system with its environment. Signals can be exchanged with the environment and in addition the developer may hide arbitrary actions inside ...
متن کاملSDL Versus C Equivalence Checking
We present a tool that automatically checks the existence of a bisimulation relation between an SDL specification and the corresponding auto-generated C code. The tool has been used to verify part of the C implementation of a WiFi Medium Access Controller (i.e.; IEEE 802.11) that has been derived from its original SDL specification using the Telelogic CAdvanced Code Generator.
متن کامل